[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 32 31 98 124 31 32

N.S.

1 1.00 1.00 0.76 0.74 2.33 2.95 0.74 0.76

time (sec)

N/A 0.162 0.018 2.136 0.275 0.271 0.124 0.280 9.375

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 79 63 69 76 135 0 80 230

N.S.

1 0.92 0.73 0.80 0.88 1.57 0.00 0.93 2.67

time (sec)

N/A 0.198 0.038 2.293 0.278 0.292 0.000 0.275 10.017

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 137 113 104 167 350 0 193 452

N.S.

1 1.11 0.92 0.85 1.36 2.85 0.00 1.57 3.67

time (sec)

N/A 0.291 0.085 2.307 0.290 0.386 0.000 0.271 10.051

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 189 140 160 323 853 0 282 745

N.S.

1 1.07 0.80 0.91 1.84 4.85 0.00 1.60 4.23

time (sec)

N/A 0.359 0.278 2.322 0.294 0.838 0.000 0.294 10.264

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 183 164 183 181 561 515 184 191

N.S.

1 0.96 0.86 0.96 0.95 2.95 2.71 0.97 1.01

time (sec)

N/A 0.359 0.123 2.312 0.283 0.308 1.157 0.286 0.154

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 143 137 137 140 433 403 137 131

N.S.

1 0.96 0.92 0.92 0.94 2.91 2.70 0.92 0.88

time (sec)

N/A 0.307 0.086 2.203 0.276 0.481 0.774 0.292 9.595

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 107 107 107 108 311 298 107 143

N.S.

1 0.98 0.98 0.98 0.99 2.85 2.73 0.98 1.31

time (sec)

N/A 0.262 0.079 2.232 0.273 0.420 0.536 0.276 9.435

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 77 74 73 223 129 70 68

N.S.

1 1.00 1.07 1.03 1.01 3.10 1.79 0.97 0.94

time (sec)

N/A 0.179 0.063 2.186 0.278 0.429 0.290 0.283 9.396

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 57 49 48 140 90 47 44

N.S.

1 1.00 1.00 0.86 0.84 2.46 1.58 0.82 0.77

time (sec)

N/A 0.164 0.033 2.438 0.287 0.373 0.148 0.295 9.585

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 161 138 138 189 441 0 201 609

N.S.

1 1.13 0.97 0.97 1.33 3.11 0.00 1.42 4.29

time (sec)

N/A 0.320 0.097 2.365 0.280 0.594 0.000 0.424 10.108

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 219 162 181 394 1111 0 402 819

N.S.

1 1.07 0.79 0.88 1.92 5.42 0.00 1.96 4.00

time (sec)

N/A 0.402 0.196 2.298 0.295 1.468 0.000 0.374 10.456

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 210 199 215 236 707 520 217 467

N.S.

1 1.06 1.01 1.09 1.19 3.57 2.63 1.10 2.36

time (sec)

N/A 0.401 0.146 2.199 0.281 0.281 2.084 0.378 9.765

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 129 148 164 182 554 328 168 197

N.S.

1 1.08 1.23 1.37 1.52 4.62 2.73 1.40 1.64

time (sec)

N/A 0.221 0.112 2.121 0.284 0.278 1.118 0.329 0.162

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 105 127 119 144 406 272 128 125

N.S.

1 1.07 1.30 1.21 1.47 4.14 2.78 1.31 1.28

time (sec)

N/A 0.204 0.112 2.170 0.301 0.472 0.663 0.330 0.128

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 121 101 95 113 359 172 97 101

N.S.

1 1.07 0.89 0.84 1.00 3.18 1.52 0.86 0.89

time (sec)

N/A 0.227 0.073 2.198 0.290 0.502 0.417 0.299 9.452

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 82 71 70 74 212 124 60 64

N.S.

1 1.09 0.95 0.93 0.99 2.83 1.65 0.80 0.85

time (sec)

N/A 0.182 0.056 2.133 0.299 0.456 0.241 0.322 9.353

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 256 180 243 386 1020 0 361 987

N.S.

1 1.21 0.85 1.15 1.82 4.81 0.00 1.70 4.66

time (sec)

N/A 0.466 0.142 2.341 0.289 2.266 0.000 0.321 10.569

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 339 241 311 749 2322 0 598 1296

N.S.

1 1.13 0.80 1.04 2.50 7.74 0.00 1.99 4.32

time (sec)

N/A 0.589 0.353 2.868 0.291 7.712 0.000 0.304 10.886

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 162 197 198 235 746 413 214 263

N.S.

1 1.05 1.27 1.28 1.52 4.81 2.66 1.38 1.70

time (sec)

N/A 0.260 0.150 2.447 0.273 0.642 1.898 0.306 9.351

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 179 155 146 188 560 320 159 163

N.S.

1 1.15 0.99 0.94 1.21 3.59 2.05 1.02 1.04

time (sec)

N/A 0.307 0.156 2.203 0.269 0.295 0.940 0.301 0.139

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 146 127 116 151 490 214 126 132

N.S.

1 1.01 0.88 0.80 1.04 3.38 1.48 0.87 0.91

time (sec)

N/A 0.236 0.101 2.129 0.274 0.276 0.548 0.297 9.460

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 107 83 91 97 282 150 72 87

N.S.

1 1.15 0.89 0.98 1.04 3.03 1.61 0.77 0.94

time (sec)

N/A 0.196 0.050 2.098 0.280 0.269 0.293 0.272 0.092

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 360 265 390 655 1784 0 562 1470

N.S.

1 1.22 0.90 1.32 2.22 6.05 0.00 1.91 4.98

time (sec)

N/A 0.647 0.227 2.276 0.300 12.852 0.000 0.285 10.847

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

430 490 336 473 1215 3843 0 906 1876

N.S.

1 1.14 0.78 1.10 2.83 8.94 0.00 2.11 4.36

time (sec)

N/A 0.829 0.399 2.384 0.334 27.061 0.000 0.298 11.446

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 211 176 181 238 400 270 205 0

N.S.

1 1.02 0.85 0.87 1.15 1.93 1.30 0.99 0.00

time (sec)

N/A 0.355 0.645 2.212 0.184 0.307 0.520 0.297 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 151 131 132 149 286 192 148 0

N.S.

1 1.05 0.91 0.92 1.03 1.99 1.33 1.03 0.00

time (sec)

N/A 0.267 0.477 2.182 0.191 0.289 0.512 0.292 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 110 99 87 107 214 139 97 0

N.S.

1 0.92 0.83 0.73 0.90 1.80 1.17 0.82 0.00

time (sec)

N/A 0.215 0.337 2.371 0.196 0.312 0.468 0.290 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 68 68 54 45 128 90 55 52

N.S.

1 1.01 1.01 0.81 0.67 1.91 1.34 0.82 0.78

time (sec)

N/A 0.178 0.225 2.501 0.187 0.543 0.363 0.291 9.671

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 108 110 184 0 574 0 0 0

N.S.

1 1.05 1.07 1.79 0.00 5.57 0.00 0.00 0.00

time (sec)

N/A 0.259 0.374 2.177 0.000 0.622 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 115 119 536 0 884 0 0 0

N.S.

1 1.05 1.08 4.87 0.00 8.04 0.00 0.00 0.00

time (sec)

N/A 0.248 0.739 2.138 0.000 0.581 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 110 900 0 519 0 316 0

N.S.

1 1.00 1.07 8.74 0.00 5.04 0.00 3.07 0.00

time (sec)

N/A 0.215 0.923 2.175 0.000 0.577 0.000 0.302 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 156 173 988 0 861 0 529 0

N.S.

1 1.08 1.20 6.86 0.00 5.98 0.00 3.67 0.00

time (sec)

N/A 0.266 10.195 2.181 0.000 0.512 0.000 0.291 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 223 248 1991 0 1485 0 0 0

N.S.

1 1.08 1.20 9.67 0.00 7.21 0.00 0.00 0.00

time (sec)

N/A 0.327 10.249 2.306 0.000 1.502 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 233 230 256 300 544 518 287 0

N.S.

1 0.91 0.90 1.00 1.18 2.13 2.03 1.13 0.00

time (sec)

N/A 0.381 0.758 2.207 0.196 0.319 0.619 0.275 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 173 173 189 190 402 366 217 0

N.S.

1 0.96 0.96 1.05 1.06 2.23 2.03 1.21 0.00

time (sec)

N/A 0.280 0.681 2.258 0.191 0.301 0.592 0.273 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 132 131 128 146 296 236 143 0

N.S.

1 0.86 0.85 0.83 0.95 1.92 1.53 0.93 0.00

time (sec)

N/A 0.233 0.521 2.301 0.197 0.297 0.537 0.276 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 90 87 70 61 176 119 76 54

N.S.

1 1.03 1.00 0.80 0.70 2.02 1.37 0.87 0.62

time (sec)

N/A 0.195 0.360 2.391 0.200 0.313 0.399 0.279 9.478

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 170 155 240 0 774 0 0 0

N.S.

1 1.07 0.97 1.51 0.00 4.87 0.00 0.00 0.00

time (sec)

N/A 0.361 0.681 2.009 0.000 1.621 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 164 161 447 0 888 0 0 0

N.S.

1 1.07 1.05 2.92 0.00 5.80 0.00 0.00 0.00

time (sec)

N/A 0.330 0.909 1.985 0.000 0.496 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 168 162 884 0 1545 0 349 0

N.S.

1 1.04 1.01 5.49 0.00 9.60 0.00 2.17 0.00

time (sec)

N/A 0.298 1.266 2.039 0.000 0.602 0.000 0.308 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 234 210 2446 0 2513 0 604 0

N.S.

1 1.17 1.05 12.23 0.00 12.56 0.00 3.02 0.00

time (sec)

N/A 0.368 2.491 2.054 0.000 4.002 0.000 0.332 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 167 723 4020 0 1123 0 0 0

N.S.

1 1.09 4.73 26.27 0.00 7.34 0.00 0.00 0.00

time (sec)

N/A 0.270 7.523 2.192 0.000 1.261 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 220 253 4108 0 1647 0 1283 0

N.S.

1 1.13 1.30 21.07 0.00 8.45 0.00 6.58 0.00

time (sec)

N/A 0.317 3.800 2.131 0.000 3.343 0.000 0.352 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 287 358 8231 0 2485 0 1875 0

N.S.

1 1.07 1.33 30.60 0.00 9.24 0.00 6.97 0.00

time (sec)

N/A 0.368 10.650 2.196 0.000 7.900 0.000 0.356 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 256 283 332 364 692 858 372 0

N.S.

1 0.83 0.92 1.08 1.19 2.25 2.79 1.21 0.00

time (sec)

N/A 0.375 0.954 2.112 0.205 0.317 0.716 0.306 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 195 215 223 230 518 617 286 0

N.S.

1 0.90 1.00 1.03 1.06 2.40 2.86 1.32 0.00

time (sec)

N/A 0.299 0.802 2.455 0.212 0.287 0.650 0.298 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 154 161 169 185 380 371 191 0

N.S.

1 0.81 0.85 0.89 0.98 2.01 1.96 1.01 0.00

time (sec)

N/A 0.247 0.611 1.957 0.195 0.311 0.613 0.290 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 112 107 86 77 224 150 101 54

N.S.

1 1.05 1.00 0.80 0.72 2.09 1.40 0.94 0.50

time (sec)

N/A 0.208 0.473 1.890 0.196 0.293 0.485 0.282 9.472

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 245 221 333 0 1176 0 0 0

N.S.

1 1.08 0.98 1.47 0.00 5.20 0.00 0.00 0.00

time (sec)

N/A 0.464 0.914 2.226 0.000 42.165 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 237 229 530 0 1372 0 0 0

N.S.

1 1.08 1.05 2.42 0.00 6.26 0.00 0.00 0.00

time (sec)

N/A 0.440 1.143 2.008 0.000 8.792 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 222 229 968 0 1553 0 537 0

N.S.

1 1.04 1.08 4.54 0.00 7.29 0.00 2.52 0.00

time (sec)

N/A 0.406 1.663 2.107 0.000 1.934 0.000 0.609 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 235 228 1727 0 2501 0 590 0

N.S.

1 1.06 1.03 7.78 0.00 11.27 0.00 2.66 0.00

time (sec)

N/A 0.388 2.665 2.146 0.000 2.257 0.000 0.647 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 311 946 3031 0 3733 0 0 0

N.S.

1 1.08 3.30 10.56 0.00 13.01 0.00 0.00 0.00

time (sec)

N/A 0.488 10.109 2.347 0.000 7.328 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 369 359 9762 0 5169 0 1432 0

N.S.

1 1.18 1.14 31.09 0.00 16.46 0.00 4.56 0.00

time (sec)

N/A 0.540 10.526 2.385 0.000 60.384 0.000 0.508 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 231 305 15868 0 1929 0 1953 0

N.S.

1 1.14 1.50 78.17 0.00 9.50 0.00 9.62 0.00

time (sec)

N/A 0.320 10.502 2.792 0.000 8.670 0.000 0.337 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 284 403 15956 0 2593 0 2428 0

N.S.

1 1.15 1.64 64.86 0.00 10.54 0.00 9.87 0.00

time (sec)

N/A 0.365 10.534 2.735 0.000 18.313 0.000 0.356 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 351 489 31927 0 3693 0 3216 0

N.S.

1 1.06 1.47 96.17 0.00 11.12 0.00 9.69 0.00

time (sec)

N/A 0.435 10.954 3.095 0.000 35.333 0.000 0.393 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 61 60 50 53 62 0 71 49

N.S.

1 1.09 1.07 0.89 0.95 1.11 0.00 1.27 0.88

time (sec)

N/A 0.193 0.211 1.982 0.276 0.263 0.000 0.268 9.480

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 79 68 56 54 75 0 105 48

N.S.

1 1.18 1.01 0.84 0.81 1.12 0.00 1.57 0.72

time (sec)

N/A 0.207 0.262 1.973 0.272 0.272 0.000 0.289 0.169

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 63 61 44 47 50 66 43 44

N.S.

1 1.15 1.11 0.80 0.85 0.91 1.20 0.78 0.80

time (sec)

N/A 0.175 0.405 1.926 0.276 0.258 0.087 0.262 0.377

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 185 127 113 176 270 167 139 0

N.S.

1 1.15 0.79 0.70 1.09 1.68 1.04 0.86 0.00

time (sec)

N/A 0.327 0.477 2.036 0.201 0.306 0.496 0.277 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 127 91 80 111 180 128 93 0

N.S.

1 1.15 0.83 0.73 1.01 1.64 1.16 0.85 0.00

time (sec)

N/A 0.248 0.416 2.142 0.196 0.292 0.471 0.271 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 69 57 69 138 99 64 0

N.S.

1 1.00 0.80 0.66 0.80 1.60 1.15 0.74 0.00

time (sec)

N/A 0.201 0.309 1.939 0.190 0.273 0.441 0.264 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 46 37 29 92 71 39 36

N.S.

1 1.00 1.07 0.86 0.67 2.14 1.65 0.91 0.84

time (sec)

N/A 0.167 0.192 2.114 0.207 0.295 0.324 0.267 9.408

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 64 127 60 211 0 60 0

N.S.

1 1.00 1.19 2.35 1.11 3.91 0.00 1.11 0.00

time (sec)

N/A 0.170 0.268 2.239 0.193 0.279 0.000 0.266 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 101 215 0 381 0 0 0

N.S.

1 1.00 1.11 2.36 0.00 4.19 0.00 0.00 0.00

time (sec)

N/A 0.208 0.556 1.950 0.000 0.306 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 158 132 444 0 713 0 351 0

N.S.

1 1.09 0.91 3.06 0.00 4.92 0.00 2.42 0.00

time (sec)

N/A 0.271 0.975 2.016 0.000 0.426 0.000 0.274 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 227 209 762 0 1139 0 593 0

N.S.

1 1.15 1.06 3.85 0.00 5.75 0.00 2.99 0.00

time (sec)

N/A 0.364 10.200 2.112 0.000 0.624 0.000 0.284 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 179 126 156 174 368 0 144 0

N.S.

1 1.10 0.78 0.96 1.07 2.27 0.00 0.89 0.00

time (sec)

N/A 0.316 0.598 2.054 0.195 0.281 0.000 0.274 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 123 90 112 110 246 0 103 0

N.S.

1 1.16 0.85 1.06 1.04 2.32 0.00 0.97 0.00

time (sec)

N/A 0.238 0.470 2.025 0.206 0.301 0.000 0.275 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 84 69 75 68 201 0 70 75

N.S.

1 1.01 0.83 0.90 0.82 2.42 0.00 0.84 0.90

time (sec)

N/A 0.206 0.414 1.939 0.201 0.286 0.000 0.267 9.599

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 27 27 31 35 46 23 24

N.S.

1 1.00 0.96 0.96 1.11 1.25 1.64 0.82 0.86

time (sec)

N/A 0.149 0.295 1.868 0.239 0.274 1.913 0.271 9.156

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 104 315 131 456 0 180 0

N.S.

1 1.00 1.11 3.35 1.39 4.85 0.00 1.91 0.00

time (sec)

N/A 0.219 0.542 2.433 0.200 0.330 0.000 0.278 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 165 149 515 292 900 0 0 0

N.S.

1 1.09 0.99 3.41 1.93 5.96 0.00 0.00 0.00

time (sec)

N/A 0.292 0.874 2.232 0.221 0.355 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 245 240 933 646 1558 0 680 0

N.S.

1 1.10 1.08 4.18 2.90 6.99 0.00 3.05 0.00

time (sec)

N/A 0.398 10.455 2.041 0.232 0.610 0.000 0.299 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 327 279 1551 1195 2226 0 1075 0

N.S.

1 1.12 0.95 5.29 4.08 7.60 0.00 3.67 0.00

time (sec)

N/A 0.514 10.692 2.230 0.251 1.139 0.000 0.354 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 219 179 281 281 488 0 207 0

N.S.

1 1.15 0.94 1.47 1.47 2.55 0.00 1.08 0.00

time (sec)

N/A 0.375 1.004 2.363 0.206 0.290 0.000 0.288 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 174 130 217 213 401 0 155 0

N.S.

1 1.08 0.81 1.35 1.32 2.49 0.00 0.96 0.00

time (sec)

N/A 0.313 0.937 2.200 0.200 0.296 0.000 0.300 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 78 83 133 107 0 90 82

N.S.

1 1.00 0.99 1.05 1.68 1.35 0.00 1.14 1.04

time (sec)

N/A 0.190 0.694 2.328 0.213 0.272 0.000 0.287 9.118

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 57 55 92 75 0 55 68

N.S.

1 1.00 0.98 0.95 1.59 1.29 0.00 0.95 1.17

time (sec)

N/A 0.172 0.560 2.195 0.196 0.286 0.000 0.287 9.355

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 43 39 48 62 146 37 41

N.S.

1 1.00 0.84 0.76 0.94 1.22 2.86 0.73 0.80

time (sec)

N/A 0.160 0.432 2.110 0.191 0.277 3.836 0.279 9.450

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 173 163 601 291 858 0 998 0

N.S.

1 1.12 1.06 3.90 1.89 5.57 0.00 6.48 0.00

time (sec)

N/A 0.307 0.937 2.347 0.216 0.371 0.000 0.294 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 280 247 899 571 1678 0 1180 0

N.S.

1 1.15 1.01 3.68 2.34 6.88 0.00 4.84 0.00

time (sec)

N/A 0.455 1.605 2.516 0.250 0.538 0.000 0.458 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 374 296 1603 1192 2628 0 2179 0

N.S.

1 1.14 0.91 4.90 3.65 8.04 0.00 6.66 0.00

time (sec)

N/A 0.577 10.952 2.188 0.281 1.183 0.000 0.409 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 34 17 16 30 12 16 16

N.S.

1 1.00 1.89 0.94 0.89 1.67 0.67 0.89 0.89

time (sec)

N/A 0.146 0.125 2.175 0.274 0.266 0.063 0.274 0.036

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 34 17 16 30 12 16 16

N.S.

1 1.00 1.70 0.85 0.80 1.50 0.60 0.80 0.80

time (sec)

N/A 0.149 0.125 2.130 0.272 0.280 0.068 0.286 0.033

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 26 15 14 22 14 22 14

N.S.

1 1.00 1.44 0.83 0.78 1.22 0.78 1.22 0.78

time (sec)

N/A 0.145 0.101 2.067 0.278 0.254 0.068 0.275 9.343

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 52 38 42 49 42 35 35

N.S.

1 1.00 0.96 0.70 0.78 0.91 0.78 0.65 0.65

time (sec)

N/A 0.179 0.274 2.227 0.275 0.278 0.090 0.282 0.036

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 49 31 38 45 42 45 32

N.S.

1 1.00 0.94 0.60 0.73 0.87 0.81 0.87 0.62

time (sec)

N/A 0.172 0.225 2.137 0.277 0.256 0.088 0.269 0.033

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 16 13 20 25 20 12 12

N.S.

1 1.00 0.89 0.72 1.11 1.39 1.11 0.67 0.67

time (sec)

N/A 0.143 0.140 2.090 0.193 0.265 1.600 0.277 9.216

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 44 41 47 108 218 357 44

N.S.

1 1.00 0.70 0.65 0.75 1.71 3.46 5.67 0.70

time (sec)

N/A 0.196 0.063 2.183 0.192 0.264 0.371 0.281 0.068

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 44 41 47 85 76 229 44

N.S.

1 1.00 0.70 0.65 0.75 1.35 1.21 3.63 0.70

time (sec)

N/A 0.191 0.057 2.486 0.193 0.273 0.547 0.269 9.438

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 44 40 47 62 76 127 44

N.S.

1 1.00 0.70 0.63 0.75 0.98 1.21 2.02 0.70

time (sec)

N/A 0.189 0.048 2.051 0.189 0.284 0.481 0.271 0.052

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 44 40 53 40 70 53 44

N.S.

1 1.00 0.72 0.66 0.87 0.66 1.15 0.87 0.72

time (sec)

N/A 0.191 0.049 1.898 0.195 0.261 0.375 0.273 0.050

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 43 39 54 49 75 56 44

N.S.

1 1.00 0.73 0.66 0.92 0.83 1.27 0.95 0.75

time (sec)

N/A 0.191 0.053 1.930 0.203 0.271 0.624 0.280 0.052

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 46 38 52 61 168 48 44

N.S.

1 1.00 0.78 0.64 0.88 1.03 2.85 0.81 0.75

time (sec)

N/A 0.194 0.057 1.892 0.191 0.270 0.330 0.275 0.044

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 44 38 44 72 252 44 44

N.S.

1 1.00 0.72 0.62 0.72 1.18 4.13 0.72 0.72

time (sec)

N/A 0.192 0.057 1.901 0.200 0.492 0.483 0.273 0.055

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 96 88 113 218 177 704 114

N.S.

1 1.00 0.76 0.69 0.89 1.72 1.39 5.54 0.90

time (sec)

N/A 0.250 0.096 2.072 0.204 0.488 0.765 0.286 9.260

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 97 88 113 181 177 471 114

N.S.

1 1.00 0.76 0.69 0.89 1.43 1.39 3.71 0.90

time (sec)

N/A 0.249 0.091 1.935 0.201 0.386 0.673 0.284 0.038

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 96 88 113 143 177 274 114

N.S.

1 1.00 0.76 0.69 0.89 1.13 1.39 2.16 0.90

time (sec)

N/A 0.248 0.083 2.069 0.188 0.527 0.627 0.264 0.042

[next] [prev] [prev-tail] [front] [up]